/*  .preferences-alignment label.preferences-title { font-size: 90.1%; } */
.pronewtab hbox > label.preferences-title { font-size: 90.1%; }
.pronewtab label[control] { width: 11em; }
.pronewtab[type="integer"] hbox textbox { -moz-box-flex: 0; }
.pronewtab input.numberbox-input { text-align: left; }
.pronewtab[disabled] > vbox { color: graytext; }
groupbox > caption[flex] > label { text-align: center; }
